let (>=>) f g = fun a -> ...
